Section: Partnerships and Cooperations

International Initiatives

• Title: Co-Modeling of Safety-Critical Multi-threaded Embedded Software for Multi-Core Embedded Platforms

• Inria principal investigator: Jean-Pierre Talpin

• International Partner (Institution - Laboratory - Researcher):

  • Virginia Tech Research Laboratories, Arlington (United States)

  • Embedded Systems Group, Teschnische Universität Kaiserslautern (Germany)

• Duration: 2013 - 2016

• See also: http://www.irisa.fr/espresso/Polycore

• Abstract: The aim of the USAF OSR Grant FA8655-13-1-3049 is to support collaborative research entitled “Co-Modeling of safety-critical multi-threaded embedded software for multi-core embedded platforms” between Inria project-team ESPRESSO, the VTRL Fermat Laboratory and the TUKL embedded system research group, under the program of the Polycore associate-project.

• Title: Virtual Prototyping of Embedded Software Architectures

• Inria principal investigator: Jean-Pierre Talpin

• International Partner: ASTRI, Hong Kong

• Duration: 2015 - 2016

• Abstract: the topics of our present collaboration is essentially on heterogeneous time modelling for virtual prototyping in cyber-physical systems. Our project covers a wide spectrum of area of experience developed since 2012 and comprising

  • model-based design and analysis of cyber-physical systems;

  • system-level virtual prototyping and validation;

  • design space exploration and system synthesis;

• Title: Saccades

• International Partner:

  • LIAMA

  • East China Normal University

  • Inria project-teams Aoste and Tea

• Duration: 2003 - now

• The SACCADES project is a LIAMA project hosted by East China Normal University and jointly led by Vania Joloboff (Inria) and Min Zhang (ECNU). The SACCADES project aims at improving the development of reliable cyber physical systems and more generally of distributed systems combining asynchronous with synchronous aspects, with different but complementary angles:

  • develop the theoretical support for Models of Computations and Communications (MoCCs) that are the fundamentals basis of the tools.

  • develop software tools (a) to enable the development and verification of executable models of the application software, which may be local or distributed and (b) to define and optimize the mapping of software components over the available resources.

  • develop virtual prototyping technology enabling the validation of the application software on the target hardware platform.

  The ambition of SACCADES project is to develop

  • Theoretical Support for Cyber Physical Systems

  • Software Tools for design and validation of CPS

  • Virtual Prototyping of CPS

• Title: Models of computation for embedded software design

• International Partner:

  • Virginia Tech Research Laboratories (USA)

  • University of Kanpur (India)

• Duration: 2002 - now

• Team TEA collaborates with Sandeep Shukla (now with IIT Kanpur) and his team at Virginia Tech, since 2002 (NSF-Inria BALBOA and Polycore projects, USAF OSR grant).

  To date, our fruitful and sustained collaboration has yield the creation of the ACM-IEEE MEMOCODE conference series (ACM-IEEE MEMOCODE conference series) in 2003, of the ACM-SIGDA FMGALS workshop series, and of a full-day tutorial at ACM-IEEE DATE'09 on formal methods in system design. We have jointly edited two books with Springer (Formal methods and models for system design, R. Gupta, S. Shukla, J.-P. Talpin, Eds. ISBN 1-4020-8051-4. Springer, 2004.) (Synthesis of embedded systems. S. Shukla, J.-P. Talpin, Eds. ISBN 978-1-4419-6399-4. Springer, 2010), two special issues of the IEEE Transactions on Computers and one of the IEEE Transactions on Industrial Informatics, and published more than 40 joint journal articles and conference papers.

  This year, we published a joint paper at the 52nd. Digital Automation Conference in San Francisco [19] .

• Title: Virtual Prototyping of embedded software architectures

• International Partner:

  • Applied Science & Technology Research Institute (ASTRI, Hong Kong)

  • The University of Hong Kong

• Duration: 2012 - now

• We collaborate with John Koo, now with ASTRI, and LIAMA since 2012 through visiting grants of the Chinese Academy of Science and of the University of Rennes on the topics of heterogeneous time modelling and virtual prototyping in cyber-physical systems.

• Title: Time In Cybernetic Systems

• International Partner:

  • Rajesh Gupta, UCSD

  • Mani Srivastava, UCLA

• Start year: 2015

• The first topic of our collaboration is the formal definition of cross-domains clock models in system design and the formal verification of time stabilisation and synchronisation protocols used in distributed systems (sensor networks, data-bases). In this prospect, the NSF project Roseline is our basis of investigation (https://sites.google.com/site/roselineproject ). Roseline aims at enabling robust, secure and efficient knowledge of time across the system stack.

  Our second topic of collaboration is the refoundation of time modelling in high-level reactive and scripting languages, for application to the above using uni-kernels to cut through system stacks. We aim at applying the concepts of refinement types to formally specify and infer timing properties in CPS models from different system design view-point (physical, hardware, software) and using different levels of abstraction into multi-sorted 1st order logic (delta-decidability, linear arithmetic, Boolean logic, temporal logic).